This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...
Lire la suiteThis monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lire la suiteIn this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteThis book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
Lire la suiteThis volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Lire la suiteThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Lire la suiteYour immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the ...
Lire la suiteArtificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent ...
Lire la suiteThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Lire la suiteThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suiteThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suiteCognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Lire la suiteThis book contains recent advances in Computational Intelligence methods for modeling, optimization and prediction and covers ...
Lire la suiteThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Lire la suiteThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Lire la suiteThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lire la suite